(0 17 12)(1 14 11)(2 15 4)(3 7 5)(6 18 16)(8 13 10)(9 20 19)
ALLOWS (11/8)-SEQUENCE
1: (9 16 19)
(0 17 12)(1 14 11)(2 15 4)(3 7 5)(6 18 16 20 19)(8 13 10)(9)
2: (0 17 12)
(0)(1 14 11)(2 15 4)(3 7 5)(6 18 16 20 19)(8 13 10)(9)(12)(17)
3: (16 20 18)
(0)(1 14 11)(2 15 4)(3 7 5)(6 18 19)(8 13 10)(9)(12)(16)(17)(20)
4: (8 13 10)
(0)(1 14 11)(2 15 4)(3 7 5)(6 18 19)(8)(9)(10)(12)(13)(16)(17)(20)